Opportunities for a Truffle-based Golo Interpreter

Golo is a simple dynamically-typed language for the Java Virtual Machine. Initially implemented as a ahead-of-time compiler to JVM bytecode, it leverages invokedy-namic and JSR 292 method handles to implement a reasonably efficient runtime. Truffle is emerging as a framework for building interpreters for JVM languages with self-specializing AST nodes. Combined with the Graal compiler, Truffle offers a simple path towards writing efficient interpreters while keeping the engineering efforts balanced. The Golo project is interested in experimenting with a Truffle interpreter in the future, as it would provides interesting comparison elements between invokedynamic versus Truffle for building a language runtime

Towards a Decoupled Context-Oriented Programming Language for the Internet of Things

Easily programming behaviors is one major issue of a large and reconfigurable deployment in the Internet of Things. Such kind of devices often requires to externalize part of their behavior such as the sensing, the data aggregation or the code offloading. Most existing context-oriented programming languages integrate in the same class or close layers the whole behavior. We propose to abstract and separate the context tracking from the decision process, and to use event-based handlers to interconnect them. We keep a very easy declarative and non-layered programming model. We illustrate by defining an extension to Golo-a JVM-based dynamic language

Opportunities for a Truffle-based Golo Interpreter

Golo is a simple dynamically-typed language for the Java Virtual Machine. Initially implemented as a ahead-of-time compiler to JVM bytecode, it leverages invokedy-namic and JSR 292 method handles to implement a reasonably efficient runtime. Truffle is emerging as a framework for building interpreters for JVM languages with self-specializing AST nodes. Combined with the Graal compiler, Truffle offers a simple path towards writing efficient interpreters while keeping the engineering efforts balanced. The Golo project is interested in experimenting with a Truffle interpreter in the future, as it would provides interesting comparison elements between invokedynamic versus Truffle for building a language runtime

Obesity promotes fumonisin B1 hepatotoxicity

Obesity, which is a worldwide public health issue, is associated with chronic inflammation that contribute to long-term complications, including insulin resistance, type 2 diabetes and non-alcoholic fatty liver disease. We hypothesized that obesity may also influence the sensitivity to food contaminants, such as fumonisin B1 (FB1), a mycotoxin produced mainly by the Fusarium verticillioides. FB1, a common contaminant of corn, is the most abundant and best characterized member of the fumonisins family. We investigated whether diet-induced obesity could modulate the sensitivity to oral FB1 exposure, with emphasis on gut health and hepatotoxicity. Thus, metabolic effects of FB1 were assessed in obese and non-obese male C57BL/6J mice. Mice received a high-fat diet (HFD) or normal chow diet (CHOW) for 15 weeks. Then, during the last three weeks, mice were exposed to these diets in combination or not with FB1 (10 mg/kg body weight/day) through drinking water. As expected, HFD feeding induced significant body weight gain, increased fasting glycemia, and hepatic steatosis. Combined exposure to HFD and FB1 resulted in body weight loss and a decrease in fasting blood glucose level. This co-exposition also induces gut dysbiosis, an increase in plasma FB1 level, a decrease in liver weight and hepatic steatosis. Moreover, plasma transaminase levels were significantly increased and associated with liver inflammation in HFD/FB1-treated mice. Liver gene expression analysis revealed that the combined exposure to HFD and FB1 was associated with reduced expression of genes involved in lipogenesis and increased expression of immune response and cell cycle-associated genes. These results suggest that, in the context of obesity, FB1 exposure promotes gut dysbiosis and severe liver inflammation. To our knowledge, this study provides the first example of obesity-induced hepatitis in response to a food contaminant.L.D. PhD was supported by the INRAE Animal Health department. This work was also supported by grants from the French National Research Agency (ANR) Fumolip (ANR-16-CE21-0003) and the Hepatomics FEDER program of Région Occitanie. We thank Prof Wentzel C. Gelderblom for generously providing the FB1 and for his interest and support in our project. B.C. laboratory is supported by a Starting Grant from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No. ERC-2018-StG- 804135), a Chaire d'Excellence from IdEx Université de Paris - ANR-18-IDEX-0001, an Innovator Award from the Kenneth Rainin Foundation, an ANR grant EMULBIONT ANR-21-CE15-0042-01 and the national program “Microbiote” from INSERM. We thank Anexplo (Genotoul, Toulouse) for their excellent work on plasma biochemistry. Neutral Lipids MS and NMR experiments were performed with instruments in the Metatoul-AXIOM platform. Sphingolipid MS analysis were performed with instruments in the RUBAM platform. The FB1 plasma levels were determined using an UPLC-MS/MS instrument part of the Ghent University MSsmall expertise centre for advanced mass spectrometry analysis of small organic molecules. We thank Elodie Rousseau-Bacquié and all members of the EZOP staff for their assistance in the animal facility. We are very grateful to Talal al Saati for histology analyses and review, and we thank all members of the US006/CREFRE staff at the histology facility and the Genom'IC platforms (INSERM U1016, Paris, France) for their expertise.Peer reviewe

Suis-je celui que je prétends être ?

Session 5 : Posters et démonstrationsNational audienceL'usurpation d'identité est une fraude génératrice de grande méfiance des internautes envers l'utilisation des services numériques en ligne. La mise en place d'un système d'authentification implicite, c'est-à-dire basée sur l'étude du comportement de l'internaute, est un moyen original pour lutter contre cette fraude, pour restaurer la confiance et ainsi favoriser l'usage des services en lignes. Dans notre étude, l'authentification implicite se présente comme un élément de sécurité complémentaire aux éléments de sécurité traditionnels. Le rôle de notre système d'authentification est de détecter le plus tôt possible qu'un internaute n'est pas celui qu'il prétend être et/ou de valider le plus longtemps possible son identité. Plus précisément, ce système automatique peut être appelé à la demande - mode ponctuel - pour permettre l'accès à une fonctionnalité plus critique par exemple ou en mode continu pour élever le niveau de sécurité global de la plateforme d'accès. Le principe théorique du système consiste à générer des signatures pour chaque utilisateur à partir de l'historique de son comportement et de comparer ces signature à la trace locale pour valider ou non son identité

Qualitative pattern matching with linguistic terms (STAIRS 2002)

STAIRS 2002 is an affiliated event to the European Conference in Artificial IntelligenceInternational audienceIn the framework of possibility theory, a tool named 'fuzzy pattern matching' (FPM) has been proposed in the eighties and since successfully used in flexible querying of fuzzy databases and in classification. Given a pattern representing a request expressed in terms of fuzzy sets, and a database storing imprecise or fuzzy attribute values for some data, the FPM returns two matching degrees. Namely, for each item in the base, the possibility and the certainty that it matches the requirements of the pattern are computed. In multiple-source information systems, attributes values are often assessed in linguistic terms belonging to different vocabularies. The request itself, which may include preferences, may be expressed using terms of another vocabulary. The paper proposes a counterpart of FPM, called 'Qualitative Pattern Matching' (QPM), for estimating levels of matching between a request and data expressed with words; words can be related together through a qualitative thesaurus or ontology, where approximate synonymy and specialization relations are encoded. Given a request, QPM rank-orders the items which possibly, or which certainly match the requirements, according to the prefèrences of the user. The proposed approach does not require any numerical computation of similarity degrees and is qualitative in nature. It is illustrated on an example, and its merits for dealing with information querying in face of heterogeneous sources of information are advocated

A Tool for Classification of Sequential Data

International audienceClassification of sequential data (data obtained from series of actions in chronological order) has many applications in security, marketing or ergonomy. In this paper, we present a tool for classification of sequential data. We introduce a new clean dataset of web-browsing logs, and study the case of implicit authentification from web-browsing. We then detail more of the functioning of the tool and some of its parameters

Evaluation of term-based queries using possibilistic ontologies

Pages de la publication : ???−???.International audienceIn multiple-source information systems, attribute values are often assessed in linguistic terms belonging to different vocabularies. The request itself, which may include preferences, may be expressed using terms of another vocabulary, raising the problem of matching the query and the information in a semantic manner. The fuzzy pattern matching framework allows us to compute matching degrees between queries and data represented by fuzzy sets, even if they do not perfectly match. The qualitative pattern matching no longer requires a fuzzy set representation thanks to the use of ontologies for computing similarity degrees between terms. This allows us to deal with information querying in face of heterogeneous sources of information. This chapter presents this tool and its application to database and textual information retrieval on two examples